// SPDX-License-Identifier: GPL-2.0+

#include <config.h>
#include <phys2bus.h>

unsigned long phys_to_bus(unsigned long phys)
{
	return phys & 0x1fffffff;
}

unsigned long bus_to_phys(unsigned long bus)
{
	return 0x80000000 | bus;
}
